\begin{tabbing}
es\_realizer\_ind\_Rnone\=\{es\_realizer\_ind\_Rnone\_compseq\_tag\_def:ObjectId\}\+
\\[0ex](\=$v_{11}$,$v_{12}$,$v_{13}$.${\it rframe}$($v_{11}$;$v_{12}$;$v_{13}$);\+
\\[0ex]$v_{21}$,$v_{22}$,$v_{23}$.${\it bframe}$($v_{21}$;$v_{22}$;$v_{23}$);
\\[0ex]$v_{31}$,$v_{32}$,$v_{33}$.${\it aframe}$($v_{31}$;$v_{32}$;$v_{33}$);
\\[0ex]$v_{41}$,$v_{42}$,$v_{43}$,$v_{44}$,$v_{45}$.${\it pre}$($v_{41}$;$v_{42}$;$v_{43}$;$v_{44}$;$v_{45}$);
\\[0ex]$v_{51}$,$v_{52}$,$v_{53}$,$v_{54}$,$v_{55}$,$v_{56}$.${\it sends}$($v_{51}$;$v_{52}$;$v_{53}$;$v_{54}$;$v_{55}$;$v_{56}$);
\\[0ex]$v_{61}$,$v_{62}$,$v_{63}$,$v_{64}$,$v_{65}$,$v_{66}$.${\it effect}$($v_{61}$;$v_{62}$;$v_{63}$;$v_{64}$;$v_{65}$;$v_{66}$);
\\[0ex]$v_{71}$,$v_{72}$,$v_{73}$.${\it sframe}$($v_{71}$;$v_{72}$;$v_{73}$);
\\[0ex]$v_{81}$,$v_{82}$,$v_{83}$,$v_{84}$.${\it frame}$($v_{81}$;$v_{82}$;$v_{83}$;$v_{84}$);
\\[0ex]$v_{91}$,$v_{92}$,$v_{93}$,$v_{94}$.${\it init}$($v_{91}$;$v_{92}$;$v_{93}$;$v_{94}$);
\\[0ex]$v_{101}$,$v_{102}$,$v_{103}$,$v_{104}$.${\it plus}$($v_{101}$;$v_{102}$;$v_{103}$;$v_{104}$);
\\[0ex]${\it none}$)
\-\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$compseq(\=case $\cdot$ of \+
\\[0ex]Rnone =$>$ ${\it none}$
\\[0ex]Rplus(${\it left}$,${\it right}$)=$>$${\it rec}_{1}$,${\it rec}_{2}$.${\it plus}$(${\it left}$;${\it right}$;${\it rec}_{1}$;${\it rec}_{2}$)
\\[0ex]Rinit(${\it loc}$,$T$,$x$,$v$)=$>$ ${\it init}$(${\it loc}$;$T$;$x$;$v$)
\\[0ex]Rframe(${\it loc}$,$T$,$x$,$L$)=$>$ ${\it frame}$(${\it loc}$;$T$;$x$;$L$)
\\[0ex]Rsframe(${\it lnk}$,${\it tag}$,$L$)=$>$ ${\it sframe}$(${\it lnk}$;${\it tag}$;$L$)
\\[0ex]Reffect(${\it loc}$,${\it ds}$,${\it knd}$,$T$,$x$,$f$)=$>$ ${\it effect}$(${\it loc}$;${\it ds}$;${\it knd}$;$T$;$x$;$f$)
\\[0ex]Rsends(${\it ds}$,${\it knd}$,$T$,$l$,${\it dt}$,$g$)=$>$ ${\it sends}$(${\it ds}$;${\it knd}$;$T$;$l$;${\it dt}$;$g$)
\\[0ex]Rpre(${\it loc}$,${\it ds}$,$a$,$T$,$P$)=$>$ ${\it pre}$(${\it loc}$;${\it ds}$;$a$;$T$;$P$)
\\[0ex]Raframe(${\it loc}$,$k$,$L$)=$>$ ${\it aframe}$(${\it loc}$;$k$;$L$)
\\[0ex]Rbframe(${\it loc}$,$k$,$L$)=$>$ ${\it bframe}$(${\it loc}$;$k$;$L$)
\\[0ex]Rrframe(${\it loc}$,$x$,$L$)=$>$ ${\it rframe}$(${\it loc}$;$x$;$L$);
\\[0ex]${\it none}$)
\-
\end{tabbing}